Non-monotonic Pre-fix Points and Learning

نویسندگان

  • Stefano Berardi
  • Ugo de'Liguoro
چکیده

We consider the problem of finding pre-fixed points of interactive realizers over arbitrary knowledge spaces, obtaining a relative recursive procedure. Knowledge spaces and interactive realizers are an abstract setting to represent learning processes, that can interpret non-constructive proofs. Atomic pieces of information of a knowledge space are stratified into levels, and evaluated into truth values depending on knowledge states. Realizers are then used to define operators that extend a given state by adding and possibly removing atoms: in a learning process states of knowledge change non-monotonically. Existence of a pre-fixed point of a realizer is equivalent to the termination of the learning process with some state of knowledge which is free of patent contradictions and such that there is nothing to add. In this paper we generalize our previous results in the case of level 2 knowledge spaces and deterministic operators to the case of ω-level knowledge spaces and of nondeterministic operators.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Simple Approach to Predict the Shear Capacity and Failure Mode of Fix-ended Reinforced Concrete Deep Beams based on Experimental Study

Reinforced Concrete (RC) deep beams are commonly used in structural design to transfer vertical loads when there is a vertical discontinuity in the load path. Due to their deep geometry, the force distribution within the RC deep beams is very different than the RC shallow beams. There are some strut and tie model (STM) already been developed for RC deep beams. However, most of these models are ...

متن کامل

Pre - Proceedings of the 2007 International Workshop on Abduction and Induction in Artificial

Requirements Engineering involves the elicitation of highlevel stakeholder goals and their refinement into operational system requirements. A key difficulty is that stakeholders typically convey their goals indirectly through intuitive narrative-style scenarios of desirable and undesirable system behaviour, whereas goal refinement methods usually require goals to be expressed declaratively usin...

متن کامل

FLARE: Induction with Prior Knowledge

This paper discusses a general framework called FLARE, that integrates inductive learning using prior knowledge together with reasoning in a non-recursive, propositional setting. FLARE learns incrementally by continually revising its knowledge base in the light of new evidence. Prior knowledge is generally given by a teacher and takes the form of pre-encoded rules. Simple defaults, combined wit...

متن کامل

Existence of iterative roots for the sickle-like functions

The problem of iterative roots for strictly monotone self-mappings has been well solved. Most of known results concerning existence of iterative roots for a continuous function were given under the assumption that the function has finitely many non-monotonic points. When a function has infinitely many non-monotonic points, the problem of the existence of its iterative roots will become more com...

متن کامل

Perfect Tracking of Supercavitating Non-minimum Phase Vehicles Using a New Robust and Adaptive Parameter-optimal Iterative Learning Control

In this manuscript, a new method is proposed to provide a perfect tracking of the supercavitation system based on a new two-state model. The tracking of the pitch rate and angle of attack for fin and cavitator input is of the aim. The pitch rate of the supercavitation with respect to fin angle is found as a non-minimum phase behavior. This effect reduces the speed of command pitch rate. Control...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Fundam. Inform.

دوره 150  شماره 

صفحات  -

تاریخ انتشار 2017